
extern uint32_t user_tick;
void mainTimerInit(void);

